Unified Algebras and Abstract Syntax
نویسندگان
چکیده
منابع مشابه
Unified Algebras and Abstract Syntax
We consider the algebraic specification of abstract syntax in the framework of unified algebras. We illustrate the expressiveness of unified algebraic specifications, and provide a grammar-like notation for specifying abstract syntax, particularly attractive for use in semantic descriptions of full-scale programming languages.
متن کاملUnified Syntax for Abstract State Machines
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and
متن کاملAlgebras and Their Unified
We give a complete classification of the real forms of simple nonlinear superconformal algebras (SCA) and quasi-superconformal algebras (QSCA) and present a unified realization of these algebras with simple symmetry groups. This classification is achieved by establishing a correspondence between simple nonlinear QSCA’s and SCA’s and quaternionic and superquaternionic symmetric spaces of simple ...
متن کاملAbstract Syntax and Logic Programming
Syntax and Logic Programming Dale Miller University of Pennsylvania This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis reports/409 Abstract Syntax and Logic ProgrammingSyntax and Logic Programming MS-CIS-91-72 LINC LAB 209
متن کاملAbstract Syntax and Variable Binding
Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1994
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v1i5.21665